home *** CD-ROM | disk | FTP | other *** search
/ NOVA - For the NeXT Workstation / NOVA - For the NeXT Workstation.iso / SourceCode / AdobeExamples / NX_Scroll / lex.yy.c < prev    next >
C/C++ Source or Header  |  1992-12-19  |  36KB  |  1,912 lines
  1. # include "stdio.h"
  2. # define U(x) x
  3. # define NLSTATE yyprevious=YYNEWLINE
  4. # define BEGIN yybgin = yysvec + 1 +
  5. # define INITIAL 0
  6. # define YYLERR yysvec
  7. # define YYSTATE (yyestate-yysvec-1)
  8. # define YYOPTIM 1
  9. # define YYLMAX 200
  10. # define output(c) putc(c,yyout)
  11. # define input() (((yytchar=yysptr>yysbuf?U(*--yysptr):getc(yyin))==10?(yylineno++,yytchar):yytchar)==EOF?0:yytchar)
  12. # define unput(c) {yytchar= (c);if(yytchar=='\n')yylineno--;*yysptr++=yytchar;}
  13. # define yymore() (yymorfg=1)
  14. # define ECHO fprintf(yyout, "%s",yytext)
  15. # define REJECT { nstr = yyreject(); goto yyfussy;}
  16. int yyleng; extern char yytext[];
  17. int yymorfg;
  18. extern char *yysptr, yysbuf[];
  19. int yytchar;
  20. FILE *yyin ={stdin}, *yyout ={stdout};
  21. extern int yylineno;
  22. struct yysvf { 
  23.     struct yywork *yystoff;
  24.     struct yysvf *yyother;
  25.     int *yystops;};
  26. struct yysvf *yyestate;
  27. extern struct yysvf yysvec[], *yybgin;
  28. #include "distillery.h"
  29.  
  30. extern char    igetc();
  31. #undef input()
  32. # define input() (((yytchar=yysptr>yysbuf?U(*--yysptr):igetc())==10?(yylineno++,EOF):yytchar)==EOF?0:yytchar)
  33. # define YYNEWLINE 10
  34. yylex(){
  35. int nstr; extern int yyprevious;
  36. while((nstr = yylook()) >= 0)
  37. yyfussy: switch(nstr){
  38. case 0:
  39. if(yywrap()) return(0); break;
  40. case 1:
  41.             ;
  42. break;
  43. case 2:
  44.                 return  dis_string;
  45. break;
  46. case 3:
  47.         return  dis_int;
  48. break;
  49. case 4:
  50. return  dis_real;
  51. break;
  52. case 5:
  53.                 return dis_m;
  54. break;
  55. case 6:
  56.             return dis_m;
  57. break;
  58. case 7:
  59.                 return dis_l;
  60. break;
  61. case 8:
  62.             return dis_lineto;
  63. break;
  64. case 9:
  65.                 return dis_x;
  66. break;
  67. case 10:
  68.                 return dis_y;
  69. break;
  70. case 11:
  71.                 return dis_X;
  72. break;
  73. case 12:
  74.                 return dis_Y;
  75. break;
  76. case 13:
  77.                 return dis_c;
  78. break;
  79. case 14:
  80.                 return dis_cp;
  81. break;
  82. case 15:
  83.                     return dis_f;
  84. break;
  85. case 16:
  86.                 return dis_s;
  87. break;
  88. case 17:
  89.                 return dis_clip;
  90. break;
  91. case 18:
  92.                 return dis_T;
  93. break;
  94. case 19:
  95.                 return dis_A;
  96. break;
  97. case 20:
  98.                 return dis_W;
  99. break;
  100. case 21:
  101.                 return dis_AW;
  102. break;
  103. case 22:
  104.                     return dis_R;
  105. break;
  106. case 23:
  107.                 return dis_r;
  108. break;
  109. case 24:
  110.                     return dis_L;
  111. break;
  112. case 25:
  113.                 return dis_w;
  114. break;
  115. case 26:
  116.                 return dis_g;
  117. break;
  118. case 27:
  119.                     return dis_j;
  120. break;
  121. case 28:
  122.                 return dis_d;
  123. break;
  124. case 29:
  125.         return dis_miter;
  126. break;
  127. case 30:
  128.         return dis_cap;
  129. break;
  130. case 31:
  131.                 return dis_RGB;
  132. break;
  133. case 32:
  134.                 return dis_MF;
  135. break;
  136. case 33:
  137.                 return dis_FF;
  138. break;
  139. case 34:
  140.                 return dis_DF;
  141. break;
  142. case 35:
  143.                 return dis_F;
  144. break;
  145. case 36:
  146.         return dis_IMASK;
  147. break;
  148. case 37:
  149.                 return dis_IMAGE;
  150. break;
  151. case 38:
  152.         return dis_BPAGE;
  153. break;
  154. case 39:
  155.         return dis_EPAGE;
  156. break;
  157. case 40:
  158.             return dis_REMAP;
  159. break;
  160. case 41:
  161.             return dis_RECODE;
  162. break;
  163. case 42:
  164.                     return  dis_literal;
  165. break;
  166. case 43:
  167.                     return  dis_name;
  168. break;
  169. case 44:
  170.                 ;
  171. break;
  172. case -1:
  173. break;
  174. default:
  175. fprintf(yyout,"bad switch yylook %d",nstr);
  176. } return(0); }
  177. /* end of yylex */
  178. int yyvstop[] ={
  179. 0,
  180.  
  181. 43,
  182. 44,
  183. 0,
  184.  
  185. 44,
  186. 0,
  187.  
  188. 44,
  189. 0,
  190.  
  191. 44,
  192. 0,
  193.  
  194. 43,
  195. 44,
  196. 0,
  197.  
  198. 43,
  199. 44,
  200. 0,
  201.  
  202. 44,
  203. 0,
  204.  
  205. 3,
  206. 4,
  207. 44,
  208. 0,
  209.  
  210. 19,
  211. 43,
  212. 44,
  213. 0,
  214.  
  215. 43,
  216. 44,
  217. 0,
  218.  
  219. 43,
  220. 44,
  221. 0,
  222.  
  223. 43,
  224. 44,
  225. 0,
  226.  
  227. 35,
  228. 43,
  229. 44,
  230. 0,
  231.  
  232. 43,
  233. 44,
  234. 0,
  235.  
  236. 24,
  237. 43,
  238. 44,
  239. 0,
  240.  
  241. 43,
  242. 44,
  243. 0,
  244.  
  245. 22,
  246. 43,
  247. 44,
  248. 0,
  249.  
  250. 18,
  251. 43,
  252. 44,
  253. 0,
  254.  
  255. 20,
  256. 43,
  257. 44,
  258. 0,
  259.  
  260. 11,
  261. 43,
  262. 44,
  263. 0,
  264.  
  265. 12,
  266. 43,
  267. 44,
  268. 0,
  269.  
  270. 13,
  271. 43,
  272. 44,
  273. 0,
  274.  
  275. 28,
  276. 43,
  277. 44,
  278. 0,
  279.  
  280. 15,
  281. 43,
  282. 44,
  283. 0,
  284.  
  285. 26,
  286. 43,
  287. 44,
  288. 0,
  289.  
  290. 27,
  291. 43,
  292. 44,
  293. 0,
  294.  
  295. 7,
  296. 43,
  297. 44,
  298. 0,
  299.  
  300. 5,
  301. 43,
  302. 44,
  303. 0,
  304.  
  305. 23,
  306. 43,
  307. 44,
  308. 0,
  309.  
  310. 16,
  311. 43,
  312. 44,
  313. 0,
  314.  
  315. 25,
  316. 43,
  317. 44,
  318. 0,
  319.  
  320. 9,
  321. 43,
  322. 44,
  323. 0,
  324.  
  325. 10,
  326. 43,
  327. 44,
  328. 0,
  329.  
  330. 43,
  331. 0,
  332.  
  333. 1,
  334. 0,
  335.  
  336. 2,
  337. 0,
  338.  
  339. 43,
  340. 0,
  341.  
  342. 3,
  343. 4,
  344. 43,
  345. 0,
  346.  
  347. 4,
  348. 43,
  349. 0,
  350.  
  351. 42,
  352. 0,
  353.  
  354. 4,
  355. 43,
  356. 0,
  357.  
  358. 3,
  359. 4,
  360. 0,
  361.  
  362. 21,
  363. 43,
  364. 0,
  365.  
  366. 43,
  367. 0,
  368.  
  369. 34,
  370. 43,
  371. 0,
  372.  
  373. 43,
  374. 0,
  375.  
  376. 33,
  377. 43,
  378. 0,
  379.  
  380. 43,
  381. 0,
  382.  
  383. 32,
  384. 43,
  385. 0,
  386.  
  387. 43,
  388. 0,
  389.  
  390. 43,
  391. 0,
  392.  
  393. 43,
  394. 0,
  395.  
  396. 14,
  397. 43,
  398. 0,
  399.  
  400. 43,
  401. 0,
  402.  
  403. 43,
  404. 0,
  405.  
  406. 43,
  407. 0,
  408.  
  409. 43,
  410. 0,
  411.  
  412. 43,
  413. 0,
  414.  
  415. 43,
  416. 0,
  417.  
  418. 43,
  419. 0,
  420.  
  421. 43,
  422. 0,
  423.  
  424. 31,
  425. 43,
  426. 0,
  427.  
  428. 43,
  429. 0,
  430.  
  431. 43,
  432. 0,
  433.  
  434. 43,
  435. 0,
  436.  
  437. 43,
  438. 0,
  439.  
  440. 43,
  441. 0,
  442.  
  443. 43,
  444. 0,
  445.  
  446. 43,
  447. 0,
  448.  
  449. 43,
  450. 0,
  451.  
  452. 43,
  453. 0,
  454.  
  455. 17,
  456. 43,
  457. 0,
  458.  
  459. 43,
  460. 0,
  461.  
  462. 43,
  463. 0,
  464.  
  465. 43,
  466. 0,
  467.  
  468. 43,
  469. 0,
  470.  
  471. 43,
  472. 0,
  473.  
  474. 43,
  475. 0,
  476.  
  477. 37,
  478. 43,
  479. 0,
  480.  
  481. 43,
  482. 0,
  483.  
  484. 40,
  485. 43,
  486. 0,
  487.  
  488. 43,
  489. 0,
  490.  
  491. 43,
  492. 0,
  493.  
  494. 43,
  495. 0,
  496.  
  497. 43,
  498. 0,
  499.  
  500. 43,
  501. 0,
  502.  
  503. 43,
  504. 0,
  505.  
  506. 43,
  507. 0,
  508.  
  509. 41,
  510. 43,
  511. 0,
  512.  
  513. 8,
  514. 43,
  515. 0,
  516.  
  517. 6,
  518. 43,
  519. 0,
  520.  
  521. 43,
  522. 0,
  523.  
  524. 43,
  525. 0,
  526.  
  527. 43,
  528. 0,
  529.  
  530. 39,
  531. 43,
  532. 0,
  533.  
  534. 43,
  535. 0,
  536.  
  537. 43,
  538. 0,
  539.  
  540. 43,
  541. 0,
  542.  
  543. 43,
  544. 0,
  545.  
  546. 43,
  547. 0,
  548.  
  549. 43,
  550. 0,
  551.  
  552. 43,
  553. 0,
  554.  
  555. 38,
  556. 43,
  557. 0,
  558.  
  559. 36,
  560. 43,
  561. 0,
  562.  
  563. 43,
  564. 0,
  565.  
  566. 43,
  567. 0,
  568.  
  569. 30,
  570. 43,
  571. 0,
  572.  
  573. 43,
  574. 0,
  575.  
  576. 43,
  577. 0,
  578.  
  579. 43,
  580. 0,
  581.  
  582. 29,
  583. 43,
  584. 0,
  585. 0};
  586. # define YYTYPE char
  587. struct yywork { YYTYPE verify, advance; } yycrank[] ={
  588. 0,0,    0,0,    1,3,    0,0,    
  589. 5,37,    0,0,    0,0,    0,0,    
  590. 0,0,    0,0,    1,4,    1,4,    
  591. 5,37,    5,38,    6,39,    0,0,    
  592. 0,0,    0,0,    0,0,    39,0,    
  593. 0,0,    40,0,    6,39,    6,0,    
  594. 0,0,    0,0,    0,0,    0,0,    
  595. 0,0,    0,0,    0,0,    0,0,    
  596. 0,0,    0,0,    0,0,    0,0,    
  597. 0,0,    0,0,    1,5,    0,0,    
  598. 0,0,    1,6,    0,0,    0,0,    
  599. 0,0,    0,0,    1,7,    1,8,    
  600. 1,9,    1,10,    39,40,    5,37,    
  601. 40,40,    0,0,    6,40,    0,0,    
  602. 0,0,    0,0,    0,0,    0,0,    
  603. 0,0,    6,39,    0,0,    0,0,    
  604. 0,0,    0,0,    1,11,    1,12,    
  605. 0,0,    1,13,    1,14,    1,15,    
  606. 0,0,    0,0,    1,16,    0,0,    
  607. 0,0,    1,17,    1,18,    0,0,    
  608. 0,0,    0,0,    0,0,    1,19,    
  609. 0,0,    1,20,    0,0,    0,0,    
  610. 1,21,    1,22,    1,23,    0,0,    
  611. 0,0,    0,0,    0,0,    0,0,    
  612. 0,0,    0,0,    0,0,    0,0,    
  613. 1,24,    1,25,    0,0,    1,26,    
  614. 1,27,    0,0,    0,0,    1,28,    
  615. 0,0,    1,29,    1,30,    0,0,    
  616. 0,0,    0,0,    0,0,    1,31,    
  617. 1,32,    0,0,    0,0,    0,0,    
  618. 1,33,    1,34,    1,35,    2,5,    
  619. 0,0,    0,0,    2,6,    0,0,    
  620. 0,0,    0,0,    0,0,    2,7,    
  621. 2,8,    2,9,    0,0,    0,0,    
  622. 0,0,    0,0,    0,0,    0,0,    
  623. 0,0,    0,0,    0,0,    0,0,    
  624. 0,0,    0,0,    0,0,    0,0,    
  625. 0,0,    0,0,    0,0,    2,11,    
  626. 2,12,    0,0,    2,13,    2,14,    
  627. 2,15,    0,0,    0,0,    2,16,    
  628. 0,0,    0,0,    2,17,    2,18,    
  629. 0,0,    0,0,    0,0,    0,0,    
  630. 2,19,    0,0,    2,20,    0,0,    
  631. 3,36,    2,21,    2,22,    2,23,    
  632. 0,0,    0,0,    0,0,    0,0,    
  633. 3,0,    3,0,    0,0,    0,0,    
  634. 3,0,    2,24,    2,25,    0,0,    
  635. 2,26,    2,27,    7,36,    0,0,    
  636. 2,28,    0,0,    2,29,    2,30,    
  637. 0,0,    0,0,    7,0,    7,0,    
  638. 2,31,    2,32,    7,0,    3,0,    
  639. 0,0,    2,33,    2,34,    2,35,    
  640. 3,0,    0,0,    0,0,    3,0,    
  641. 3,0,    0,0,    0,0,    0,0,    
  642. 8,0,    8,0,    3,0,    3,36,    
  643. 8,0,    7,0,    0,0,    0,0,    
  644. 0,0,    0,0,    7,0,    0,0,    
  645. 0,0,    7,0,    7,0,    3,0,    
  646. 0,0,    3,0,    0,0,    7,41,    
  647. 7,0,    7,42,    0,0,    8,0,    
  648. 0,0,    0,0,    0,0,    0,0,    
  649. 8,0,    0,0,    0,0,    8,0,    
  650. 8,0,    7,0,    0,0,    7,0,    
  651. 0,0,    0,0,    8,0,    8,43,    
  652. 0,0,    0,0,    0,0,    0,0,    
  653. 0,0,    0,0,    3,0,    0,0,    
  654. 3,0,    0,0,    0,0,    8,0,    
  655. 0,0,    8,0,    0,0,    0,0,    
  656. 0,0,    0,0,    0,0,    0,0,    
  657. 0,0,    9,44,    0,0,    0,0,    
  658. 7,0,    0,0,    7,0,    0,0,    
  659. 0,0,    9,0,    9,0,    0,0,    
  660. 0,0,    9,0,    0,0,    0,0,    
  661. 0,0,    0,0,    3,0,    0,0,    
  662. 3,0,    0,0,    8,0,    0,0,    
  663. 8,0,    0,0,    0,0,    10,0,    
  664. 10,0,    0,0,    0,0,    10,0,    
  665. 9,0,    0,0,    0,0,    0,0,    
  666. 7,0,    9,0,    7,0,    0,0,    
  667. 9,0,    9,0,    0,0,    0,0,    
  668. 0,0,    0,0,    0,0,    9,0,    
  669. 9,45,    0,0,    10,0,    0,0,    
  670. 0,0,    0,0,    8,0,    10,0,    
  671. 8,0,    0,0,    10,0,    10,0,    
  672. 9,0,    0,0,    9,0,    0,0,    
  673. 10,46,    10,0,    10,47,    11,0,    
  674. 11,0,    0,0,    0,0,    11,0,    
  675. 0,0,    0,0,    0,0,    0,0,    
  676. 0,0,    0,0,    10,0,    0,0,    
  677. 10,0,    0,0,    0,0,    0,0,    
  678. 12,0,    12,0,    0,0,    0,0,    
  679. 12,0,    0,0,    11,0,    9,0,    
  680. 0,0,    9,0,    0,0,    11,0,    
  681. 0,0,    0,0,    11,0,    11,0,    
  682. 0,0,    0,0,    0,0,    0,0,    
  683. 0,0,    11,0,    0,0,    12,0,    
  684. 0,0,    10,0,    0,0,    10,0,    
  685. 12,0,    0,0,    0,0,    12,0,    
  686. 12,0,    0,0,    11,0,    0,0,    
  687. 11,0,    0,0,    12,0,    9,0,    
  688. 0,0,    9,0,    0,0,    13,0,    
  689. 13,0,    0,0,    0,0,    13,0,    
  690. 0,0,    0,0,    0,0,    12,0,    
  691. 0,0,    12,0,    0,0,    0,0,    
  692. 0,0,    10,0,    0,0,    10,0,    
  693. 12,49,    11,48,    0,0,    0,0,    
  694. 0,0,    11,0,    13,0,    11,0,    
  695. 0,0,    0,0,    0,0,    13,0,    
  696. 0,0,    0,0,    13,0,    13,0,    
  697. 0,0,    0,0,    0,0,    14,0,    
  698. 14,0,    13,0,    12,0,    14,0,    
  699. 12,0,    0,0,    0,0,    0,0,    
  700. 0,0,    0,0,    0,0,    0,0,    
  701. 0,0,    0,0,    13,0,    0,0,    
  702. 13,0,    11,0,    0,0,    11,0,    
  703. 0,0,    0,0,    14,0,    0,0,    
  704. 13,50,    15,0,    15,0,    14,0,    
  705. 0,0,    15,0,    14,0,    14,0,    
  706. 0,0,    0,0,    12,0,    0,0,    
  707. 12,0,    14,0,    0,0,    0,0,    
  708. 0,0,    0,0,    16,0,    16,0,    
  709. 0,0,    13,0,    16,0,    13,0,    
  710. 15,0,    0,0,    14,0,    0,0,    
  711. 14,0,    15,0,    0,0,    0,0,    
  712. 15,0,    15,0,    0,0,    0,0,    
  713. 0,0,    0,0,    0,0,    15,0,    
  714. 0,0,    16,0,    0,0,    0,0,    
  715. 14,51,    0,0,    16,0,    0,0,    
  716. 0,0,    16,0,    16,0,    0,0,    
  717. 15,0,    13,0,    15,0,    13,0,    
  718. 16,0,    14,0,    0,0,    14,0,    
  719. 0,0,    0,0,    15,52,    0,0,    
  720. 0,0,    0,0,    0,0,    0,0,    
  721. 0,0,    16,0,    0,0,    16,0,    
  722. 0,0,    17,0,    17,0,    0,0,    
  723. 0,0,    17,0,    0,0,    0,0,    
  724. 0,0,    0,0,    0,0,    15,0,    
  725. 0,0,    15,0,    16,53,    0,0,    
  726. 0,0,    14,0,    0,0,    14,0,    
  727. 0,0,    0,0,    0,0,    0,0,    
  728. 17,0,    0,0,    0,0,    0,0,    
  729. 16,0,    17,0,    16,0,    0,0,    
  730. 17,0,    17,0,    0,0,    0,0,    
  731. 18,0,    18,0,    0,0,    17,0,    
  732. 18,0,    0,0,    0,0,    15,0,    
  733. 0,0,    15,0,    0,0,    0,0,    
  734. 0,0,    0,0,    0,0,    0,0,    
  735. 17,0,    0,0,    17,0,    0,0,    
  736. 0,0,    0,0,    0,0,    18,0,    
  737. 16,0,    0,0,    16,0,    19,36,    
  738. 18,0,    0,0,    0,0,    18,0,    
  739. 18,0,    0,0,    0,0,    19,0,    
  740. 19,0,    0,0,    18,0,    19,0,    
  741. 0,0,    0,0,    0,0,    0,0,    
  742. 0,0,    0,0,    0,0,    17,0,    
  743. 0,0,    17,0,    0,0,    18,0,    
  744. 0,0,    18,0,    0,0,    0,0,    
  745. 0,0,    0,0,    19,0,    0,0,    
  746. 0,0,    18,54,    0,0,    19,0,    
  747. 0,0,    0,0,    19,0,    19,0,    
  748. 0,0,    0,0,    0,0,    20,0,    
  749. 20,0,    19,0,    19,36,    20,0,    
  750. 0,0,    0,0,    0,0,    17,0,    
  751. 0,0,    17,0,    18,0,    0,0,    
  752. 18,0,    0,0,    19,0,    0,0,    
  753. 19,0,    0,0,    0,0,    0,0,    
  754. 0,0,    0,0,    20,0,    19,55,    
  755. 0,0,    19,56,    0,0,    20,0,    
  756. 0,0,    0,0,    20,0,    20,0,    
  757. 0,0,    0,0,    21,0,    21,0,    
  758. 0,0,    20,0,    21,0,    0,0,    
  759. 0,0,    0,0,    18,0,    0,0,    
  760. 18,0,    19,0,    0,0,    19,0,    
  761. 0,0,    0,0,    20,0,    0,0,    
  762. 20,0,    0,0,    0,0,    0,0,    
  763. 0,0,    21,0,    0,0,    0,0,    
  764. 0,0,    0,0,    21,0,    0,0,    
  765. 0,0,    21,0,    21,0,    0,0,    
  766. 0,0,    22,0,    22,0,    0,0,    
  767. 21,0,    22,0,    0,0,    0,0,    
  768. 0,0,    19,0,    0,0,    19,0,    
  769. 0,0,    20,0,    0,0,    20,0,    
  770. 0,0,    21,0,    0,0,    21,0,    
  771. 0,0,    0,0,    0,0,    0,0,    
  772. 22,0,    0,0,    0,0,    0,0,    
  773. 0,0,    22,0,    0,0,    0,0,    
  774. 22,0,    22,0,    0,0,    0,0,    
  775. 23,0,    23,0,    0,0,    22,0,    
  776. 23,0,    0,0,    0,0,    0,0,    
  777. 0,0,    20,0,    0,0,    20,0,    
  778. 21,0,    0,0,    21,0,    0,0,    
  779. 22,0,    0,0,    22,0,    0,0,    
  780. 0,0,    0,0,    0,0,    23,0,    
  781. 0,0,    0,0,    0,0,    24,36,    
  782. 23,0,    0,0,    0,0,    23,0,    
  783. 23,0,    0,0,    0,0,    24,0,    
  784. 24,0,    0,0,    23,0,    24,0,    
  785. 0,0,    0,0,    0,0,    0,0,    
  786. 21,0,    0,0,    21,0,    22,0,    
  787. 0,0,    22,0,    0,0,    23,0,    
  788. 0,0,    23,0,    0,0,    0,0,    
  789. 0,0,    0,0,    24,0,    0,0,    
  790. 0,0,    0,0,    0,0,    24,0,    
  791. 0,0,    0,0,    24,0,    24,0,    
  792. 0,0,    0,0,    0,0,    25,0,    
  793. 25,0,    24,0,    24,36,    25,0,    
  794. 0,0,    0,0,    0,0,    22,0,    
  795. 0,0,    22,0,    23,0,    0,0,    
  796. 23,0,    0,0,    24,0,    0,0,    
  797. 24,0,    0,0,    0,0,    0,0,    
  798. 0,0,    0,0,    25,0,    0,0,    
  799. 0,0,    26,0,    26,0,    25,0,    
  800. 0,0,    26,0,    25,0,    25,0,    
  801. 0,0,    0,0,    0,0,    0,0,    
  802. 0,0,    25,0,    0,0,    0,0,    
  803. 0,0,    0,0,    23,0,    0,0,    
  804. 23,0,    24,0,    0,0,    24,0,    
  805. 26,0,    0,0,    25,0,    0,0,    
  806. 25,0,    26,0,    0,0,    0,0,    
  807. 26,0,    26,0,    0,0,    0,0,    
  808. 0,0,    0,0,    24,57,    26,0,    
  809. 0,0,    0,0,    24,58,    27,0,    
  810. 27,0,    0,0,    0,0,    27,0,    
  811. 0,0,    0,0,    0,0,    0,0,    
  812. 26,0,    24,0,    26,0,    24,0,    
  813. 0,0,    25,0,    0,0,    25,0,    
  814. 0,0,    0,0,    0,0,    0,0,    
  815. 0,0,    0,0,    27,0,    0,0,    
  816. 0,0,    28,0,    28,0,    27,0,    
  817. 0,0,    28,0,    27,0,    27,0,    
  818. 0,0,    0,0,    0,0,    0,0,    
  819. 0,0,    27,0,    0,0,    26,0,    
  820. 0,0,    26,0,    0,0,    0,0,    
  821. 0,0,    25,0,    0,0,    25,0,    
  822. 28,0,    0,0,    27,0,    0,0,    
  823. 27,0,    28,0,    0,0,    0,0,    
  824. 28,0,    28,0,    0,0,    0,0,    
  825. 0,0,    29,0,    29,0,    28,0,    
  826. 0,0,    29,0,    0,0,    0,0,    
  827. 0,0,    0,0,    0,0,    26,0,    
  828. 0,0,    26,0,    0,0,    0,0,    
  829. 28,0,    0,0,    28,0,    0,0,    
  830. 0,0,    27,0,    0,0,    27,0,    
  831. 29,0,    0,0,    0,0,    0,0,    
  832. 0,0,    29,0,    0,0,    0,0,    
  833. 29,0,    29,0,    0,0,    0,0,    
  834. 30,0,    30,0,    0,0,    29,0,    
  835. 30,0,    0,0,    0,0,    0,0,    
  836. 0,0,    0,0,    0,0,    28,0,    
  837. 0,0,    28,0,    0,0,    0,0,    
  838. 29,0,    27,0,    29,0,    27,0,    
  839. 0,0,    0,0,    0,0,    30,0,    
  840. 0,0,    0,0,    0,0,    0,0,    
  841. 30,0,    0,0,    0,0,    30,0,    
  842. 30,0,    0,0,    0,0,    31,0,    
  843. 31,0,    0,0,    30,0,    31,0,    
  844. 0,0,    0,0,    0,0,    28,0,    
  845. 0,0,    28,0,    0,0,    29,0,    
  846. 0,0,    29,0,    0,0,    30,0,    
  847. 0,0,    30,0,    0,0,    0,0,    
  848. 0,0,    0,0,    31,0,    0,0,    
  849. 0,0,    29,59,    0,0,    31,0,    
  850. 0,0,    0,0,    31,0,    31,0,    
  851. 0,0,    0,0,    0,0,    0,0,    
  852. 0,0,    31,0,    0,0,    0,0,    
  853. 0,0,    0,0,    0,0,    29,0,    
  854. 0,0,    29,0,    30,0,    0,0,    
  855. 30,0,    0,0,    31,0,    0,0,    
  856. 31,0,    0,0,    32,0,    32,0,    
  857. 0,0,    0,0,    32,0,    0,0,    
  858. 0,0,    0,0,    0,0,    0,0,    
  859. 0,0,    0,0,    30,60,    0,0,    
  860. 33,0,    33,0,    0,0,    0,0,    
  861. 33,0,    0,0,    0,0,    0,0,    
  862. 0,0,    32,0,    30,0,    0,0,    
  863. 30,0,    31,0,    32,0,    31,0,    
  864. 0,0,    32,0,    32,0,    0,0,    
  865. 0,0,    0,0,    0,0,    33,0,    
  866. 32,0,    0,0,    34,0,    34,0,    
  867. 33,0,    0,0,    34,0,    33,0,    
  868. 33,0,    0,0,    0,0,    0,0,    
  869. 0,0,    32,0,    33,0,    32,0,    
  870. 0,0,    0,0,    0,0,    0,0,    
  871. 0,0,    31,0,    0,0,    31,0,    
  872. 0,0,    34,0,    0,0,    33,0,    
  873. 0,0,    33,0,    34,0,    0,0,    
  874. 0,0,    34,0,    34,0,    0,0,    
  875. 0,0,    0,0,    0,0,    0,0,    
  876. 34,0,    0,0,    0,0,    0,0,    
  877. 32,0,    0,0,    32,0,    0,0,    
  878. 0,0,    0,0,    0,0,    0,0,    
  879. 0,0,    34,0,    32,61,    34,0,    
  880. 0,0,    0,0,    33,0,    0,0,    
  881. 33,0,    0,0,    0,0,    0,0,    
  882. 0,0,    0,0,    35,0,    35,0,    
  883. 0,0,    0,0,    35,0,    0,0,    
  884. 0,0,    0,0,    0,0,    0,0,    
  885. 32,0,    0,0,    32,0,    0,0,    
  886. 0,0,    0,0,    0,0,    0,0,    
  887. 34,0,    0,0,    34,0,    0,0,    
  888. 0,0,    35,0,    33,0,    0,0,    
  889. 33,0,    0,0,    35,0,    0,0,    
  890. 0,0,    35,0,    35,0,    0,0,    
  891. 0,0,    36,0,    36,0,    0,0,    
  892. 35,0,    36,0,    0,0,    0,0,    
  893. 0,0,    0,0,    0,0,    0,0,    
  894. 0,0,    0,0,    0,0,    0,0,    
  895. 34,0,    35,0,    34,0,    35,0,    
  896. 0,0,    0,0,    0,0,    0,0,    
  897. 36,0,    0,0,    0,0,    0,0,    
  898. 0,0,    36,0,    0,0,    0,0,    
  899. 36,0,    36,0,    0,0,    0,0,    
  900. 41,0,    41,0,    0,0,    36,0,    
  901. 41,0,    0,0,    0,0,    0,0,    
  902. 0,0,    0,0,    0,0,    0,0,    
  903. 35,0,    0,0,    35,0,    0,0,    
  904. 36,0,    0,0,    36,0,    0,0,    
  905. 0,0,    0,0,    0,0,    41,0,    
  906. 0,0,    0,0,    0,0,    0,0,    
  907. 41,0,    0,0,    0,0,    41,0,    
  908. 41,0,    0,0,    0,0,    0,0,    
  909. 42,0,    42,0,    41,0,    41,43,    
  910. 42,0,    0,0,    0,0,    0,0,    
  911. 35,0,    0,0,    35,0,    36,0,    
  912. 0,0,    36,0,    0,0,    41,0,    
  913. 0,0,    41,0,    0,0,    0,0,    
  914. 0,0,    0,0,    0,0,    42,0,    
  915. 0,0,    0,0,    43,0,    43,0,    
  916. 42,0,    0,0,    43,0,    42,0,    
  917. 42,0,    0,0,    0,0,    0,0,    
  918. 0,0,    42,46,    42,0,    0,0,    
  919. 0,0,    0,0,    0,0,    36,0,    
  920. 0,0,    36,0,    41,0,    0,0,    
  921. 41,0,    43,0,    0,0,    42,0,    
  922. 0,0,    42,0,    43,0,    0,0,    
  923. 0,0,    43,0,    43,0,    0,0,    
  924. 0,0,    0,0,    44,0,    44,0,    
  925. 43,0,    43,43,    44,0,    0,0,    
  926. 0,0,    0,0,    0,0,    0,0,    
  927. 0,0,    0,0,    0,0,    0,0,    
  928. 0,0,    43,0,    41,0,    43,0,    
  929. 41,0,    0,0,    42,0,    0,0,    
  930. 42,0,    44,0,    0,0,    0,0,    
  931. 0,0,    0,0,    44,0,    0,0,    
  932. 0,0,    44,0,    44,0,    0,0,    
  933. 0,0,    0,0,    45,0,    45,0,    
  934. 44,0,    44,44,    45,0,    0,0,    
  935. 0,0,    0,0,    0,0,    0,0,    
  936. 43,0,    0,0,    43,0,    0,0,    
  937. 0,0,    44,0,    42,0,    44,0,    
  938. 42,0,    0,0,    0,0,    0,0,    
  939. 0,0,    45,0,    0,0,    0,0,    
  940. 46,0,    46,0,    45,0,    0,0,    
  941. 46,0,    45,0,    45,0,    0,0,    
  942. 0,0,    0,0,    0,0,    0,0,    
  943. 45,0,    0,0,    0,0,    0,0,    
  944. 43,0,    0,0,    43,0,    0,0,    
  945. 44,0,    0,0,    44,0,    46,0,    
  946. 0,0,    45,0,    0,0,    45,0,    
  947. 46,0,    0,0,    0,0,    46,0,    
  948. 46,0,    0,0,    0,0,    0,0,    
  949. 47,0,    47,0,    46,0,    46,46,    
  950. 47,0,    0,0,    0,0,    0,0,    
  951. 0,0,    0,0,    0,0,    0,0,    
  952. 0,0,    0,0,    0,0,    46,0,    
  953. 44,0,    46,0,    44,0,    0,0,    
  954. 45,0,    0,0,    45,0,    47,0,    
  955. 0,0,    0,0,    0,0,    0,0,    
  956. 47,0,    0,0,    0,0,    47,0,    
  957. 47,0,    0,0,    0,0,    0,0,    
  958. 0,0,    47,46,    47,0,    47,47,    
  959. 0,0,    48,0,    48,0,    0,0,    
  960. 0,0,    48,0,    46,0,    0,0,    
  961. 46,0,    0,0,    0,0,    47,0,    
  962. 45,0,    47,0,    45,0,    0,0,    
  963. 0,0,    0,0,    49,0,    49,0,    
  964. 0,0,    0,0,    49,0,    0,0,    
  965. 48,0,    0,0,    0,0,    0,0,    
  966. 0,0,    48,0,    0,0,    0,0,    
  967. 48,0,    48,0,    0,0,    0,0,    
  968. 0,0,    0,0,    46,0,    48,0,    
  969. 46,0,    49,0,    47,0,    0,0,    
  970. 47,0,    0,0,    49,0,    0,0,    
  971. 0,0,    49,0,    49,0,    0,0,    
  972. 48,0,    0,0,    48,0,    0,0,    
  973. 49,0,    0,0,    50,0,    50,0,    
  974. 0,0,    0,0,    50,0,    0,0,    
  975. 0,0,    0,0,    0,0,    0,0,    
  976. 0,0,    49,0,    0,0,    49,0,    
  977. 0,0,    0,0,    47,0,    0,0,    
  978. 47,0,    0,0,    0,0,    0,0,    
  979. 49,62,    50,0,    0,0,    48,0,    
  980. 0,0,    48,0,    50,0,    0,0,    
  981. 0,0,    50,0,    50,0,    0,0,    
  982. 0,0,    51,0,    51,0,    0,0,    
  983. 50,0,    51,0,    0,0,    0,0,    
  984. 49,0,    0,0,    49,0,    0,0,    
  985. 0,0,    0,0,    0,0,    0,0,    
  986. 0,0,    50,0,    0,0,    50,0,    
  987. 0,0,    0,0,    0,0,    48,0,    
  988. 51,0,    48,0,    0,0,    0,0,    
  989. 0,0,    51,0,    0,0,    0,0,    
  990. 51,0,    51,0,    0,0,    0,0,    
  991. 0,0,    0,0,    0,0,    51,0,    
  992. 49,0,    0,0,    49,0,    52,0,    
  993. 52,0,    0,0,    0,0,    52,0,    
  994. 50,0,    0,0,    50,0,    0,0,    
  995. 51,0,    0,0,    51,0,    0,0,    
  996. 0,0,    0,0,    0,0,    0,0,    
  997. 51,63,    0,0,    0,0,    0,0,    
  998. 0,0,    0,0,    52,0,    0,0,    
  999. 0,0,    0,0,    0,0,    52,0,    
  1000. 0,0,    0,0,    52,0,    52,0,    
  1001. 0,0,    0,0,    0,0,    0,0,    
  1002. 50,0,    52,0,    50,0,    51,0,    
  1003. 0,0,    51,0,    0,0,    0,0,    
  1004. 53,0,    53,0,    0,0,    0,0,    
  1005. 53,0,    0,0,    52,0,    0,0,    
  1006. 52,0,    0,0,    0,0,    0,0,    
  1007. 54,0,    54,0,    0,0,    0,0,    
  1008. 54,0,    0,0,    0,0,    0,0,    
  1009. 0,0,    0,0,    0,0,    53,0,    
  1010. 0,0,    0,0,    0,0,    51,0,    
  1011. 53,0,    51,0,    0,0,    53,0,    
  1012. 53,0,    0,0,    0,0,    54,0,    
  1013. 0,0,    52,0,    53,0,    52,0,    
  1014. 54,0,    0,0,    0,0,    54,0,    
  1015. 54,0,    0,0,    0,0,    0,0,    
  1016. 0,0,    0,0,    54,0,    53,0,    
  1017. 0,0,    53,0,    0,0,    0,0,    
  1018. 53,64,    0,0,    0,0,    0,0,    
  1019. 0,0,    0,0,    0,0,    54,0,    
  1020. 55,36,    54,0,    0,0,    0,0,    
  1021. 0,0,    52,0,    0,0,    52,0,    
  1022. 55,0,    55,0,    0,0,    0,0,    
  1023. 55,0,    0,0,    0,0,    0,0,    
  1024. 0,0,    0,0,    53,0,    0,0,    
  1025. 53,0,    0,0,    0,0,    0,0,    
  1026. 0,0,    0,0,    0,0,    0,0,    
  1027. 0,0,    0,0,    54,0,    55,0,    
  1028. 54,0,    0,0,    0,0,    0,0,    
  1029. 55,0,    0,0,    0,0,    55,0,    
  1030. 55,0,    0,0,    0,0,    0,0,    
  1031. 0,0,    0,0,    55,0,    55,36,    
  1032. 0,0,    0,0,    53,0,    0,0,    
  1033. 53,0,    0,0,    0,0,    0,0,    
  1034. 56,0,    56,0,    0,0,    55,0,    
  1035. 56,0,    55,0,    54,0,    0,0,    
  1036. 54,0,    0,0,    55,65,    0,0,    
  1037. 57,0,    57,0,    0,0,    0,0,    
  1038. 57,0,    0,0,    0,0,    0,0,    
  1039. 55,66,    0,0,    0,0,    56,0,    
  1040. 0,0,    0,0,    0,0,    0,0,    
  1041. 56,0,    0,0,    0,0,    56,0,    
  1042. 56,0,    0,0,    55,0,    57,0,    
  1043. 55,0,    0,0,    56,0,    0,0,    
  1044. 57,0,    0,0,    0,0,    57,0,    
  1045. 57,0,    0,0,    0,0,    0,0,    
  1046. 58,0,    58,0,    57,0,    56,0,    
  1047. 58,0,    56,0,    0,0,    0,0,    
  1048. 0,0,    56,67,    0,0,    0,0,    
  1049. 59,0,    59,0,    0,0,    57,0,    
  1050. 59,0,    57,0,    55,0,    0,0,    
  1051. 55,0,    0,0,    0,0,    58,0,    
  1052. 0,0,    0,0,    60,0,    60,0,    
  1053. 58,0,    0,0,    60,0,    58,0,    
  1054. 58,0,    0,0,    56,0,    59,0,    
  1055. 56,0,    0,0,    58,0,    0,0,    
  1056. 59,0,    0,0,    0,0,    59,0,    
  1057. 59,0,    0,0,    57,0,    0,0,    
  1058. 57,0,    60,0,    59,0,    58,0,    
  1059. 0,0,    58,0,    60,0,    0,0,    
  1060. 0,0,    60,0,    60,0,    0,0,    
  1061. 57,68,    0,0,    0,0,    59,0,    
  1062. 60,0,    59,0,    56,0,    0,0,    
  1063. 56,0,    61,0,    61,0,    0,0,    
  1064. 0,0,    61,0,    0,0,    0,0,    
  1065. 0,0,    60,0,    57,0,    60,0,    
  1066. 57,0,    0,0,    58,0,    0,0,    
  1067. 58,0,    0,0,    0,0,    0,0,    
  1068. 0,0,    0,0,    0,0,    0,0,    
  1069. 61,0,    0,0,    59,0,    0,0,    
  1070. 59,0,    61,0,    0,0,    0,0,    
  1071. 61,0,    61,0,    0,0,    0,0,    
  1072. 0,0,    0,0,    0,0,    61,0,    
  1073. 60,0,    0,0,    60,0,    0,0,    
  1074. 0,0,    59,69,    58,0,    0,0,    
  1075. 58,0,    0,0,    0,0,    0,0,    
  1076. 61,0,    0,0,    61,0,    0,0,    
  1077. 0,0,    0,0,    59,0,    0,0,    
  1078. 59,0,    62,0,    62,0,    0,0,    
  1079. 0,0,    62,0,    0,0,    60,70,    
  1080. 0,0,    0,0,    0,0,    0,0,    
  1081. 60,0,    0,0,    60,0,    63,0,    
  1082. 63,0,    0,0,    0,0,    63,0,    
  1083. 0,0,    0,0,    0,0,    61,0,    
  1084. 62,0,    61,0,    0,0,    0,0,    
  1085. 0,0,    62,0,    0,0,    0,0,    
  1086. 62,0,    62,0,    0,0,    0,0,    
  1087. 0,0,    0,0,    63,0,    62,0,    
  1088. 0,0,    64,0,    64,0,    63,0,    
  1089. 0,0,    64,0,    63,0,    63,0,    
  1090. 61,71,    0,0,    0,0,    0,0,    
  1091. 62,0,    63,0,    62,0,    61,0,    
  1092. 0,0,    61,0,    0,0,    0,0,    
  1093. 0,0,    0,0,    0,0,    0,0,    
  1094. 64,0,    62,72,    63,0,    0,0,    
  1095. 63,0,    64,0,    0,0,    0,0,    
  1096. 64,0,    64,0,    0,0,    0,0,    
  1097. 0,0,    0,0,    0,0,    64,0,    
  1098. 0,0,    0,0,    0,0,    62,0,    
  1099. 0,0,    62,0,    63,73,    0,0,    
  1100. 0,0,    0,0,    0,0,    0,0,    
  1101. 64,0,    0,0,    64,0,    0,0,    
  1102. 0,0,    63,0,    0,0,    63,0,    
  1103. 0,0,    0,0,    0,0,    64,74,    
  1104. 0,0,    65,0,    65,0,    0,0,    
  1105. 0,0,    65,0,    0,0,    0,0,    
  1106. 0,0,    0,0,    0,0,    62,0,    
  1107. 0,0,    62,0,    0,0,    0,0,    
  1108. 0,0,    0,0,    0,0,    64,0,    
  1109. 0,0,    64,0,    0,0,    0,0,    
  1110. 65,0,    63,0,    0,0,    63,0,    
  1111. 0,0,    65,0,    0,0,    0,0,    
  1112. 65,0,    65,0,    0,0,    0,0,    
  1113. 66,0,    66,0,    0,0,    65,0,    
  1114. 66,0,    0,0,    0,0,    0,0,    
  1115. 0,0,    0,0,    0,0,    0,0,    
  1116. 0,0,    0,0,    0,0,    64,0,    
  1117. 65,0,    64,0,    65,0,    0,0,    
  1118. 0,0,    0,0,    0,0,    66,0,    
  1119. 0,0,    0,0,    0,0,    0,0,    
  1120. 66,0,    0,0,    0,0,    66,0,    
  1121. 66,0,    0,0,    0,0,    65,75,    
  1122. 67,0,    67,0,    66,0,    0,0,    
  1123. 67,0,    0,0,    0,0,    0,0,    
  1124. 0,0,    0,0,    0,0,    65,0,    
  1125. 0,0,    65,0,    0,0,    66,0,    
  1126. 0,0,    66,0,    0,0,    0,0,    
  1127. 66,76,    0,0,    0,0,    67,0,    
  1128. 0,0,    0,0,    68,0,    68,0,    
  1129. 67,0,    0,0,    68,0,    67,0,    
  1130. 67,0,    0,0,    0,0,    0,0,    
  1131. 0,0,    0,0,    67,0,    0,0,    
  1132. 0,0,    0,0,    0,0,    65,0,    
  1133. 0,0,    65,0,    66,0,    0,0,    
  1134. 66,0,    68,0,    0,0,    67,0,    
  1135. 0,0,    67,0,    68,0,    0,0,    
  1136. 0,0,    68,0,    68,0,    0,0,    
  1137. 0,0,    0,0,    69,0,    69,0,    
  1138. 68,0,    0,0,    69,0,    0,0,    
  1139. 0,0,    0,0,    0,0,    0,0,    
  1140. 0,0,    0,0,    0,0,    0,0,    
  1141. 0,0,    68,0,    66,0,    68,0,    
  1142. 66,0,    0,0,    67,0,    0,0,    
  1143. 67,0,    69,0,    0,0,    0,0,    
  1144. 0,0,    0,0,    69,0,    0,0,    
  1145. 0,0,    69,0,    69,0,    0,0,    
  1146. 0,0,    0,0,    0,0,    0,0,    
  1147. 69,0,    0,0,    0,0,    0,0,    
  1148. 0,0,    70,0,    70,0,    0,0,    
  1149. 68,0,    70,0,    68,0,    0,0,    
  1150. 0,0,    69,0,    67,0,    69,0,    
  1151. 67,0,    0,0,    0,0,    0,0,    
  1152. 0,0,    0,0,    0,0,    0,0,    
  1153. 0,0,    0,0,    0,0,    0,0,    
  1154. 70,0,    68,77,    0,0,    0,0,    
  1155. 0,0,    70,0,    0,0,    0,0,    
  1156. 70,0,    70,0,    0,0,    0,0,    
  1157. 68,0,    0,0,    68,0,    70,0,    
  1158. 69,0,    0,0,    69,0,    0,0,    
  1159. 0,0,    0,0,    0,0,    0,0,    
  1160. 71,36,    0,0,    69,78,    0,0,    
  1161. 70,0,    0,0,    70,0,    0,0,    
  1162. 71,0,    71,0,    0,0,    0,0,    
  1163. 71,0,    0,0,    0,0,    0,0,    
  1164. 0,0,    0,0,    0,0,    0,0,    
  1165. 0,0,    0,0,    0,0,    0,0,    
  1166. 69,0,    0,0,    69,0,    0,0,    
  1167. 0,0,    0,0,    0,0,    71,0,    
  1168. 0,0,    0,0,    0,0,    70,0,    
  1169. 71,0,    70,0,    0,0,    71,0,    
  1170. 71,0,    0,0,    0,0,    0,0,    
  1171. 0,0,    70,79,    71,0,    71,36,    
  1172. 72,0,    72,0,    0,0,    0,0,    
  1173. 72,0,    0,0,    0,0,    0,0,    
  1174. 0,0,    0,0,    0,0,    71,0,    
  1175. 0,0,    71,0,    0,0,    0,0,    
  1176. 0,0,    0,0,    0,0,    70,0,    
  1177. 0,0,    70,0,    0,0,    72,0,    
  1178. 0,0,    0,0,    0,0,    0,0,    
  1179. 72,0,    0,0,    0,0,    72,0,    
  1180. 72,0,    0,0,    0,0,    73,0,    
  1181. 73,0,    0,0,    72,0,    73,0,    
  1182. 0,0,    0,0,    71,0,    0,0,    
  1183. 71,0,    0,0,    0,0,    0,0,    
  1184. 0,0,    0,0,    0,0,    72,0,    
  1185. 0,0,    72,0,    0,0,    0,0,    
  1186. 0,0,    0,0,    73,0,    71,80,    
  1187. 71,81,    0,0,    0,0,    73,0,    
  1188. 0,0,    0,0,    73,0,    73,0,    
  1189. 0,0,    72,82,    0,0,    74,0,    
  1190. 74,0,    73,0,    71,0,    74,0,    
  1191. 71,0,    0,0,    0,0,    0,0,    
  1192. 0,0,    0,0,    72,0,    0,0,    
  1193. 72,0,    0,0,    73,0,    0,0,    
  1194. 73,0,    0,0,    0,0,    73,83,    
  1195. 0,0,    0,0,    74,0,    0,0,    
  1196. 0,0,    75,0,    75,0,    74,0,    
  1197. 0,0,    75,0,    74,0,    74,0,    
  1198. 0,0,    0,0,    0,0,    0,0,    
  1199. 0,0,    74,0,    0,0,    0,0,    
  1200. 0,0,    0,0,    72,0,    0,0,    
  1201. 72,0,    73,0,    0,0,    73,0,    
  1202. 75,0,    0,0,    74,0,    0,0,    
  1203. 74,0,    75,0,    0,0,    0,0,    
  1204. 75,0,    75,0,    0,0,    74,84,    
  1205. 0,0,    0,0,    0,0,    75,0,    
  1206. 0,0,    76,0,    76,0,    0,0,    
  1207. 0,0,    76,0,    0,0,    0,0,    
  1208. 0,0,    0,0,    0,0,    0,0,    
  1209. 75,0,    73,0,    75,0,    73,0,    
  1210. 0,0,    74,0,    0,0,    74,0,    
  1211. 75,85,    0,0,    0,0,    0,0,    
  1212. 76,0,    0,0,    0,0,    77,0,    
  1213. 77,0,    76,0,    0,0,    77,0,    
  1214. 76,0,    76,0,    0,0,    0,0,    
  1215. 0,0,    0,0,    0,0,    76,0,    
  1216. 0,0,    0,0,    0,0,    75,0,    
  1217. 0,0,    75,0,    0,0,    0,0,    
  1218. 0,0,    74,0,    77,0,    74,0,    
  1219. 76,0,    0,0,    76,0,    77,0,    
  1220. 0,0,    0,0,    77,0,    77,0,    
  1221. 0,0,    0,0,    0,0,    78,0,    
  1222. 78,0,    77,0,    0,0,    78,0,    
  1223. 0,0,    0,0,    0,0,    0,0,    
  1224. 76,86,    0,0,    0,0,    75,0,    
  1225. 0,0,    75,0,    77,0,    0,0,    
  1226. 77,0,    0,0,    0,0,    76,0,    
  1227. 0,0,    76,0,    78,0,    0,0,    
  1228. 0,0,    0,0,    0,0,    78,0,    
  1229. 0,0,    0,0,    78,0,    78,0,    
  1230. 0,0,    0,0,    79,0,    79,0,    
  1231. 0,0,    78,0,    79,0,    0,0,    
  1232. 0,0,    0,0,    0,0,    0,0,    
  1233. 0,0,    77,0,    0,0,    77,0,    
  1234. 0,0,    0,0,    78,0,    76,0,    
  1235. 78,0,    76,0,    0,0,    0,0,    
  1236. 0,0,    79,0,    0,0,    0,0,    
  1237. 0,0,    0,0,    79,0,    0,0,    
  1238. 0,0,    79,0,    79,0,    0,0,    
  1239. 0,0,    80,0,    80,0,    0,0,    
  1240. 79,0,    80,0,    0,0,    0,0,    
  1241. 0,0,    77,0,    0,0,    77,0,    
  1242. 0,0,    78,0,    0,0,    78,0,    
  1243. 0,0,    79,0,    0,0,    79,0,    
  1244. 0,0,    0,0,    0,0,    0,0,    
  1245. 80,0,    0,0,    0,0,    0,0,    
  1246. 0,0,    80,0,    0,0,    0,0,    
  1247. 80,0,    80,0,    0,0,    0,0,    
  1248. 81,0,    81,0,    78,87,    80,0,    
  1249. 81,0,    0,0,    0,0,    0,0,    
  1250. 0,0,    78,0,    0,0,    78,0,    
  1251. 79,0,    0,0,    79,0,    0,0,    
  1252. 80,0,    0,0,    80,0,    0,0,    
  1253. 0,0,    0,0,    0,0,    81,0,    
  1254. 0,0,    0,0,    0,0,    0,0,    
  1255. 81,0,    0,0,    0,0,    81,0,    
  1256. 81,0,    0,0,    0,0,    82,0,    
  1257. 82,0,    79,88,    81,0,    82,0,    
  1258. 0,0,    0,0,    0,0,    0,0,    
  1259. 79,0,    0,0,    79,0,    80,0,    
  1260. 0,0,    80,0,    0,0,    81,0,    
  1261. 0,0,    81,0,    0,0,    0,0,    
  1262. 0,0,    0,0,    82,0,    0,0,    
  1263. 0,0,    80,89,    0,0,    82,0,    
  1264. 0,0,    0,0,    82,0,    82,0,    
  1265. 0,0,    0,0,    83,0,    83,0,    
  1266. 0,0,    82,0,    83,0,    0,0,    
  1267. 0,0,    0,0,    0,0,    80,0,    
  1268. 0,0,    80,0,    81,0,    0,0,    
  1269. 81,0,    0,0,    82,0,    0,0,    
  1270. 82,0,    0,0,    0,0,    0,0,    
  1271. 0,0,    83,0,    0,0,    0,0,    
  1272. 81,90,    0,0,    83,0,    0,0,    
  1273. 0,0,    83,0,    83,0,    0,0,    
  1274. 0,0,    0,0,    82,91,    0,0,    
  1275. 83,0,    0,0,    0,0,    0,0,    
  1276. 0,0,    0,0,    81,0,    0,0,    
  1277. 81,0,    82,0,    0,0,    82,0,    
  1278. 0,0,    83,0,    0,0,    83,0,    
  1279. 0,0,    84,0,    84,0,    0,0,    
  1280. 0,0,    84,0,    0,0,    0,0,    
  1281. 83,92,    0,0,    0,0,    0,0,    
  1282. 85,0,    85,0,    0,0,    0,0,    
  1283. 85,0,    0,0,    0,0,    0,0,    
  1284. 0,0,    0,0,    0,0,    0,0,    
  1285. 84,0,    82,0,    0,0,    82,0,    
  1286. 83,0,    84,0,    83,0,    0,0,    
  1287. 84,0,    84,0,    0,0,    85,0,    
  1288. 0,0,    0,0,    0,0,    84,0,    
  1289. 85,0,    0,0,    0,0,    85,0,    
  1290. 85,0,    0,0,    0,0,    0,0,    
  1291. 0,0,    0,0,    85,0,    0,0,    
  1292. 84,0,    0,0,    84,0,    0,0,    
  1293. 0,0,    0,0,    0,0,    0,0,    
  1294. 83,0,    0,0,    83,0,    85,0,    
  1295. 0,0,    85,0,    0,0,    86,0,    
  1296. 86,0,    84,93,    0,0,    86,0,    
  1297. 85,94,    0,0,    0,0,    0,0,    
  1298. 0,0,    0,0,    87,0,    87,0,    
  1299. 0,0,    0,0,    87,0,    84,0,    
  1300. 0,0,    84,0,    0,0,    0,0,    
  1301. 0,0,    0,0,    86,0,    0,0,    
  1302. 0,0,    0,0,    85,0,    86,0,    
  1303. 85,0,    0,0,    86,0,    86,0,    
  1304. 0,0,    87,0,    0,0,    0,0,    
  1305. 0,0,    86,0,    87,0,    0,0,    
  1306. 0,0,    87,0,    87,0,    0,0,    
  1307. 0,0,    0,0,    0,0,    84,0,    
  1308. 87,0,    84,0,    86,0,    0,0,    
  1309. 86,0,    0,0,    0,0,    0,0,    
  1310. 0,0,    0,0,    85,0,    0,0,    
  1311. 85,0,    87,0,    0,0,    87,0,    
  1312. 0,0,    88,0,    88,0,    0,0,    
  1313. 0,0,    88,0,    0,0,    0,0,    
  1314. 0,0,    0,0,    0,0,    0,0,    
  1315. 89,0,    89,0,    0,0,    0,0,    
  1316. 89,0,    86,0,    0,0,    86,0,    
  1317. 0,0,    0,0,    0,0,    0,0,    
  1318. 88,0,    0,0,    0,0,    0,0,    
  1319. 87,0,    88,0,    87,0,    0,0,    
  1320. 88,0,    88,0,    0,0,    89,0,    
  1321. 0,0,    0,0,    0,0,    88,0,    
  1322. 89,0,    0,0,    0,0,    89,0,    
  1323. 89,0,    0,0,    0,0,    0,0,    
  1324. 87,95,    86,0,    89,0,    86,0,    
  1325. 88,0,    0,0,    88,0,    0,0,    
  1326. 0,0,    0,0,    0,0,    0,0,    
  1327. 87,0,    0,0,    87,0,    89,0,    
  1328. 0,0,    89,0,    0,0,    90,0,    
  1329. 90,0,    0,0,    0,0,    90,0,    
  1330. 0,0,    0,0,    0,0,    0,0,    
  1331. 0,0,    0,0,    91,0,    91,0,    
  1332. 0,0,    0,0,    91,0,    88,0,    
  1333. 0,0,    88,0,    0,0,    0,0,    
  1334. 0,0,    0,0,    90,0,    0,0,    
  1335. 0,0,    0,0,    89,0,    90,0,    
  1336. 89,0,    0,0,    90,0,    90,0,    
  1337. 0,0,    91,0,    0,0,    88,96,    
  1338. 0,0,    90,0,    91,0,    0,0,    
  1339. 0,0,    91,0,    91,0,    0,0,    
  1340. 0,0,    89,97,    0,0,    88,0,    
  1341. 91,0,    88,0,    90,0,    0,0,    
  1342. 90,0,    0,0,    0,0,    0,0,    
  1343. 0,0,    0,0,    89,0,    0,0,    
  1344. 89,0,    91,0,    0,0,    91,0,    
  1345. 0,0,    0,0,    91,99,    92,0,    
  1346. 92,0,    0,0,    0,0,    92,0,    
  1347. 0,0,    0,0,    0,0,    0,0,    
  1348. 0,0,    0,0,    0,0,    0,0,    
  1349. 0,0,    90,0,    0,0,    90,0,    
  1350. 0,0,    0,0,    0,0,    0,0,    
  1351. 0,0,    0,0,    92,0,    0,0,    
  1352. 91,0,    0,0,    91,0,    92,0,    
  1353. 0,0,    0,0,    92,0,    92,0,    
  1354. 0,0,    0,0,    0,0,    0,0,    
  1355. 0,0,    92,0,    90,98,    93,0,    
  1356. 93,0,    0,0,    0,0,    93,0,    
  1357. 0,0,    90,0,    0,0,    90,0,    
  1358. 0,0,    0,0,    92,0,    0,0,    
  1359. 92,0,    0,0,    0,0,    0,0,    
  1360. 91,0,    0,0,    91,0,    92,100,    
  1361. 0,0,    0,0,    93,0,    0,0,    
  1362. 0,0,    94,0,    94,0,    93,0,    
  1363. 0,0,    94,0,    93,0,    93,0,    
  1364. 0,0,    0,0,    0,0,    0,0,    
  1365. 0,0,    93,0,    0,0,    0,0,    
  1366. 0,0,    92,0,    0,0,    92,0,    
  1367. 0,0,    0,0,    0,0,    0,0,    
  1368. 94,0,    0,0,    93,0,    0,0,    
  1369. 93,0,    94,0,    0,0,    93,101,    
  1370. 94,0,    94,0,    0,0,    0,0,    
  1371. 0,0,    95,0,    95,0,    94,0,    
  1372. 0,0,    95,0,    0,0,    0,0,    
  1373. 0,0,    0,0,    0,0,    0,0,    
  1374. 0,0,    92,0,    0,0,    92,0,    
  1375. 94,0,    0,0,    94,0,    0,0,    
  1376. 0,0,    93,0,    0,0,    93,0,    
  1377. 95,0,    0,0,    0,0,    0,0,    
  1378. 0,0,    95,0,    0,0,    0,0,    
  1379. 95,0,    95,0,    0,0,    0,0,    
  1380. 96,0,    96,0,    0,0,    95,0,    
  1381. 96,0,    0,0,    0,0,    0,0,    
  1382. 0,0,    0,0,    0,0,    94,0,    
  1383. 0,0,    94,0,    0,0,    0,0,    
  1384. 95,0,    93,0,    95,0,    93,0,    
  1385. 0,0,    0,0,    0,0,    96,0,    
  1386. 0,0,    0,0,    0,0,    0,0,    
  1387. 96,0,    0,0,    0,0,    96,0,    
  1388. 96,0,    0,0,    0,0,    97,0,    
  1389. 97,0,    0,0,    96,0,    97,0,    
  1390. 0,0,    0,0,    0,0,    94,0,    
  1391. 0,0,    94,0,    0,0,    95,0,    
  1392. 0,0,    95,0,    0,0,    96,0,    
  1393. 0,0,    96,0,    0,0,    0,0,    
  1394. 0,0,    0,0,    97,0,    0,0,    
  1395. 0,0,    0,0,    0,0,    97,0,    
  1396. 0,0,    0,0,    97,0,    97,0,    
  1397. 0,0,    0,0,    98,0,    98,0,    
  1398. 0,0,    97,0,    98,0,    0,0,    
  1399. 0,0,    0,0,    0,0,    95,0,    
  1400. 0,0,    95,0,    96,0,    0,0,    
  1401. 96,0,    0,0,    97,0,    0,0,    
  1402. 97,0,    0,0,    0,0,    0,0,    
  1403. 0,0,    98,0,    0,0,    0,0,    
  1404. 0,0,    0,0,    98,0,    0,0,    
  1405. 0,0,    98,0,    98,0,    0,0,    
  1406. 0,0,    99,0,    99,0,    0,0,    
  1407. 98,0,    99,0,    0,0,    0,0,    
  1408. 0,0,    0,0,    96,0,    0,0,    
  1409. 96,0,    97,0,    0,0,    97,0,    
  1410. 0,0,    98,0,    0,0,    98,0,    
  1411. 0,0,    0,0,    0,0,    97,102,    
  1412. 99,0,    0,0,    0,0,    0,0,    
  1413. 0,0,    99,0,    0,0,    0,0,    
  1414. 99,0,    99,0,    0,0,    0,0,    
  1415. 100,0,    100,0,    0,0,    99,0,    
  1416. 100,0,    0,0,    0,0,    0,0,    
  1417. 0,0,    97,0,    0,0,    97,0,    
  1418. 98,0,    0,0,    98,0,    0,0,    
  1419. 99,0,    0,0,    99,0,    0,0,    
  1420. 0,0,    0,0,    98,103,    100,0,    
  1421. 0,0,    0,0,    0,0,    99,104,    
  1422. 100,0,    0,0,    0,0,    100,0,    
  1423. 100,0,    0,0,    0,0,    101,0,    
  1424. 101,0,    0,0,    100,0,    101,0,    
  1425. 0,0,    0,0,    0,0,    0,0,    
  1426. 98,0,    0,0,    98,0,    99,0,    
  1427. 0,0,    99,0,    0,0,    100,0,    
  1428. 0,0,    100,0,    0,0,    0,0,    
  1429. 0,0,    0,0,    101,0,    0,0,    
  1430. 0,0,    0,0,    0,0,    101,0,    
  1431. 0,0,    0,0,    101,0,    101,0,    
  1432. 0,0,    0,0,    102,0,    102,0,    
  1433. 0,0,    101,0,    102,0,    0,0,    
  1434. 0,0,    0,0,    0,0,    99,0,    
  1435. 0,0,    99,0,    100,0,    0,0,    
  1436. 100,0,    0,0,    101,0,    0,0,    
  1437. 101,0,    0,0,    0,0,    0,0,    
  1438. 0,0,    102,0,    0,0,    0,0,    
  1439. 0,0,    0,0,    102,0,    0,0,    
  1440. 0,0,    102,0,    102,0,    0,0,    
  1441. 0,0,    0,0,    103,0,    103,0,    
  1442. 102,0,    101,105,    103,0,    0,0,    
  1443. 0,0,    0,0,    100,0,    0,0,    
  1444. 100,0,    101,0,    0,0,    101,0,    
  1445. 0,0,    102,0,    0,0,    102,0,    
  1446. 0,0,    0,0,    0,0,    0,0,    
  1447. 0,0,    103,0,    0,0,    0,0,    
  1448. 0,0,    0,0,    103,0,    0,0,    
  1449. 0,0,    103,0,    103,0,    0,0,    
  1450. 0,0,    104,0,    104,0,    0,0,    
  1451. 103,0,    104,0,    0,0,    0,0,    
  1452. 0,0,    101,0,    0,0,    101,0,    
  1453. 102,0,    0,0,    102,0,    0,0,    
  1454. 0,0,    103,0,    0,0,    103,0,    
  1455. 102,106,    0,0,    0,0,    0,0,    
  1456. 104,0,    0,0,    0,0,    0,0,    
  1457. 0,0,    104,0,    0,0,    0,0,    
  1458. 104,0,    104,0,    0,0,    0,0,    
  1459. 105,0,    105,0,    0,0,    104,0,    
  1460. 105,0,    0,0,    0,0,    0,0,    
  1461. 102,0,    0,0,    102,0,    0,0,    
  1462. 103,0,    0,0,    103,0,    0,0,    
  1463. 104,0,    0,0,    104,0,    0,0,    
  1464. 0,0,    0,0,    0,0,    105,0,    
  1465. 0,0,    104,108,    0,0,    0,0,    
  1466. 105,0,    0,0,    0,0,    105,0,    
  1467. 105,0,    0,0,    0,0,    103,107,    
  1468. 106,0,    106,0,    105,0,    0,0,    
  1469. 106,0,    0,0,    0,0,    0,0,    
  1470. 103,0,    0,0,    103,0,    104,0,    
  1471. 0,0,    104,0,    0,0,    105,0,    
  1472. 0,0,    105,0,    0,0,    0,0,    
  1473. 0,0,    0,0,    0,0,    106,0,    
  1474. 0,0,    0,0,    0,0,    0,0,    
  1475. 106,0,    0,0,    105,109,    106,0,    
  1476. 106,0,    0,0,    0,0,    0,0,    
  1477. 107,0,    107,0,    106,0,    0,0,    
  1478. 107,0,    0,0,    0,0,    104,0,    
  1479. 0,0,    104,0,    105,0,    0,0,    
  1480. 105,0,    0,0,    0,0,    106,0,    
  1481. 0,0,    106,0,    0,0,    0,0,    
  1482. 0,0,    0,0,    0,0,    107,0,    
  1483. 0,0,    0,0,    108,0,    108,0,    
  1484. 107,0,    0,0,    108,0,    107,0,    
  1485. 107,0,    0,0,    0,0,    0,0,    
  1486. 0,0,    0,0,    107,0,    0,0,    
  1487. 0,0,    0,0,    105,0,    0,0,    
  1488. 105,0,    0,0,    106,0,    0,0,    
  1489. 106,0,    108,0,    0,0,    107,0,    
  1490. 106,110,    107,0,    108,0,    0,0,    
  1491. 0,0,    108,0,    108,0,    0,0,    
  1492. 0,0,    0,0,    109,0,    109,0,    
  1493. 108,0,    0,0,    109,0,    0,0,    
  1494. 0,0,    0,0,    0,0,    0,0,    
  1495. 0,0,    0,0,    0,0,    0,0,    
  1496. 0,0,    108,0,    106,0,    108,0,    
  1497. 106,0,    0,0,    107,0,    0,0,    
  1498. 107,0,    109,0,    0,0,    0,0,    
  1499. 0,0,    0,0,    109,0,    0,0,    
  1500. 0,0,    109,0,    109,0,    0,0,    
  1501. 0,0,    110,0,    110,0,    107,111,    
  1502. 109,0,    110,0,    0,0,    0,0,    
  1503. 0,0,    0,0,    0,0,    0,0,    
  1504. 108,0,    0,0,    108,0,    0,0,    
  1505. 0,0,    109,0,    107,0,    109,0,    
  1506. 107,0,    0,0,    0,0,    0,0,    
  1507. 110,0,    0,0,    0,0,    0,0,    
  1508. 0,0,    110,0,    0,0,    0,0,    
  1509. 110,0,    110,0,    0,0,    0,0,    
  1510. 111,0,    111,0,    0,0,    110,0,    
  1511. 111,0,    0,0,    0,0,    0,0,    
  1512. 108,0,    0,0,    108,0,    0,0,    
  1513. 109,0,    0,0,    109,0,    0,0,    
  1514. 110,0,    0,0,    110,0,    0,0,    
  1515. 0,0,    0,0,    0,0,    111,0,    
  1516. 0,0,    0,0,    0,0,    0,0,    
  1517. 111,0,    0,0,    0,0,    111,0,    
  1518. 111,0,    0,0,    0,0,    112,0,    
  1519. 112,0,    0,0,    111,0,    112,0,    
  1520. 0,0,    0,0,    0,0,    0,0,    
  1521. 109,0,    0,0,    109,0,    110,0,    
  1522. 0,0,    110,0,    0,0,    111,0,    
  1523. 0,0,    111,0,    0,0,    0,0,    
  1524. 0,0,    0,0,    112,0,    0,0,    
  1525. 0,0,    0,0,    0,0,    112,0,    
  1526. 0,0,    0,0,    112,0,    112,0,    
  1527. 110,112,    0,0,    113,0,    113,0,    
  1528. 0,0,    112,0,    113,0,    0,0,    
  1529. 0,0,    0,0,    0,0,    110,0,    
  1530. 0,0,    110,0,    111,0,    0,0,    
  1531. 111,0,    0,0,    112,0,    0,0,    
  1532. 112,0,    0,0,    0,0,    0,0,    
  1533. 0,0,    113,0,    0,0,    0,0,    
  1534. 111,113,    0,0,    113,0,    0,0,    
  1535. 0,0,    113,0,    113,0,    0,0,    
  1536. 0,0,    114,0,    114,0,    0,0,    
  1537. 113,0,    114,0,    0,0,    0,0,    
  1538. 0,0,    0,0,    111,0,    0,0,    
  1539. 111,0,    112,0,    0,0,    112,0,    
  1540. 0,0,    113,0,    0,0,    113,0,    
  1541. 0,0,    0,0,    0,0,    0,0,    
  1542. 114,0,    0,0,    0,0,    0,0,    
  1543. 0,0,    114,0,    0,0,    0,0,    
  1544. 114,0,    114,0,    0,0,    0,0,    
  1545. 115,0,    115,0,    0,0,    114,0,    
  1546. 115,0,    0,0,    0,0,    0,0,    
  1547. 0,0,    112,0,    0,0,    112,0,    
  1548. 113,0,    0,0,    113,0,    0,0,    
  1549. 114,0,    0,0,    114,0,    0,0,    
  1550. 0,0,    0,0,    0,0,    115,0,    
  1551. 0,0,    0,0,    0,0,    0,0,    
  1552. 115,0,    0,0,    113,114,    115,0,    
  1553. 115,0,    0,0,    0,0,    116,0,    
  1554. 116,0,    0,0,    115,0,    116,0,    
  1555. 0,0,    0,0,    0,0,    0,0,    
  1556. 113,0,    0,0,    113,0,    114,0,    
  1557. 0,0,    114,0,    0,0,    115,0,    
  1558. 0,0,    115,0,    0,0,    0,0,    
  1559. 0,0,    0,0,    116,0,    0,0,    
  1560. 0,0,    114,115,    0,0,    116,0,    
  1561. 0,0,    0,0,    116,0,    116,0,    
  1562. 0,0,    0,0,    0,0,    0,0,    
  1563. 0,0,    116,0,    0,0,    0,0,    
  1564. 0,0,    0,0,    0,0,    114,0,    
  1565. 0,0,    114,0,    115,0,    0,0,    
  1566. 115,0,    0,0,    116,0,    0,0,    
  1567. 116,0,    0,0,    0,0,    0,0,    
  1568. 0,0,    0,0,    0,0,    0,0,    
  1569. 0,0,    0,0,    0,0,    0,0,    
  1570. 0,0,    0,0,    0,0,    0,0,    
  1571. 0,0,    0,0,    0,0,    115,116,    
  1572. 0,0,    0,0,    0,0,    0,0,    
  1573. 0,0,    0,0,    115,0,    0,0,    
  1574. 115,0,    116,0,    0,0,    116,0,    
  1575. 0,0,    0,0,    0,0,    0,0,    
  1576. 0,0,    0,0,    0,0,    0,0,    
  1577. 0,0,    0,0,    0,0,    0,0,    
  1578. 0,0,    0,0,    0,0,    0,0,    
  1579. 0,0,    0,0,    0,0,    0,0,    
  1580. 0,0,    0,0,    0,0,    0,0,    
  1581. 0,0,    0,0,    0,0,    0,0,    
  1582. 0,0,    116,0,    0,0,    116,0,    
  1583. 0,0};
  1584. struct yysvf yysvec[] ={
  1585. 0,    0,    0,
  1586. yycrank+-1,    0,        0,    
  1587. yycrank+-86,    yysvec+1,    0,    
  1588. yycrank+-171,    0,        yyvstop+1,
  1589. yycrank+0,    0,        yyvstop+4,
  1590. yycrank+-3,    0,        yyvstop+6,
  1591. yycrank+-13,    0,        yyvstop+8,
  1592. yycrank+-189,    0,        yyvstop+10,
  1593. yycrank+-207,    yysvec+3,    yyvstop+13,
  1594. yycrank+-276,    0,        yyvstop+16,
  1595. yycrank+-294,    yysvec+7,    yyvstop+18,
  1596. yycrank+-334,    yysvec+3,    yyvstop+22,
  1597. yycrank+-351,    yysvec+3,    yyvstop+26,
  1598. yycrank+-394,    yysvec+3,    yyvstop+29,
  1599. yycrank+-430,    yysvec+3,    yyvstop+32,
  1600. yycrank+-456,    yysvec+3,    yyvstop+35,
  1601. yycrank+-473,    yysvec+3,    yyvstop+39,
  1602. yycrank+-528,    yysvec+3,    yyvstop+42,
  1603. yycrank+-563,    yysvec+3,    yyvstop+46,
  1604. yycrank+-598,    0,        yyvstop+49,
  1605. yycrank+-634,    yysvec+3,    yyvstop+53,
  1606. yycrank+-669,    yysvec+3,    yyvstop+57,
  1607. yycrank+-704,    yysvec+3,    yyvstop+61,
  1608. yycrank+-739,    yysvec+3,    yyvstop+65,
  1609. yycrank+-774,    0,        yyvstop+69,
  1610. yycrank+-810,    yysvec+3,    yyvstop+73,
  1611. yycrank+-836,    yysvec+3,    yyvstop+77,
  1612. yycrank+-878,    yysvec+3,    yyvstop+81,
  1613. yycrank+-904,    yysvec+3,    yyvstop+85,
  1614. yycrank+-940,    yysvec+3,    yyvstop+89,
  1615. yycrank+-975,    yysvec+3,    yyvstop+93,
  1616. yycrank+-1010,    yysvec+3,    yyvstop+97,
  1617. yycrank+-1065,    yysvec+3,    yyvstop+101,
  1618. yycrank+-1079,    yysvec+3,    yyvstop+105,
  1619. yycrank+-1105,    yysvec+3,    yyvstop+109,
  1620. yycrank+-1169,    yysvec+3,    yyvstop+113,
  1621. yycrank+-1204,    yysvec+3,    yyvstop+117,
  1622. yycrank+0,    yysvec+5,    0,    
  1623. yycrank+0,    0,        yyvstop+119,
  1624. yycrank+-9,    yysvec+6,    0,    
  1625. yycrank+-11,    yysvec+6,    yyvstop+121,
  1626. yycrank+-1239,    yysvec+3,    yyvstop+123,
  1627. yycrank+-1275,    yysvec+7,    yyvstop+125,
  1628. yycrank+-1301,    yysvec+3,    yyvstop+129,
  1629. yycrank+-1337,    yysvec+9,    yyvstop+132,
  1630. yycrank+-1373,    yysvec+9,    0,    
  1631. yycrank+-1399,    yysvec+3,    yyvstop+134,
  1632. yycrank+-1435,    yysvec+7,    yyvstop+137,
  1633. yycrank+-1476,    yysvec+3,    yyvstop+140,
  1634. yycrank+-1493,    yysvec+3,    yyvstop+143,
  1635. yycrank+-1533,    yysvec+3,    yyvstop+145,
  1636. yycrank+-1568,    yysvec+3,    yyvstop+148,
  1637. yycrank+-1610,    yysvec+3,    yyvstop+150,
  1638. yycrank+-1655,    yysvec+3,    yyvstop+153,
  1639. yycrank+-1667,    yysvec+3,    yyvstop+155,
  1640. yycrank+-1727,    0,        yyvstop+158,
  1641. yycrank+-1775,    yysvec+3,    yyvstop+160,
  1642. yycrank+-1787,    yysvec+3,    yyvstop+162,
  1643. yycrank+-1823,    yysvec+3,    yyvstop+164,
  1644. yycrank+-1835,    yysvec+3,    yyvstop+167,
  1645. yycrank+-1849,    yysvec+3,    yyvstop+169,
  1646. yycrank+-1892,    yysvec+3,    yyvstop+171,
  1647. yycrank+-1952,    yysvec+3,    yyvstop+173,
  1648. yycrank+-1966,    yysvec+3,    yyvstop+175,
  1649. yycrank+-1992,    yysvec+3,    yyvstop+177,
  1650. yycrank+-2056,    yysvec+3,    yyvstop+179,
  1651. yycrank+-2091,    yysvec+3,    yyvstop+181,
  1652. yycrank+-2127,    yysvec+3,    yyvstop+183,
  1653. yycrank+-2153,    yysvec+3,    yyvstop+186,
  1654. yycrank+-2189,    yysvec+3,    yyvstop+188,
  1655. yycrank+-2232,    yysvec+3,    yyvstop+190,
  1656. yycrank+-2287,    0,        yyvstop+192,
  1657. yycrank+-2327,    yysvec+3,    yyvstop+194,
  1658. yycrank+-2362,    yysvec+3,    yyvstop+196,
  1659. yycrank+-2398,    yysvec+3,    yyvstop+198,
  1660. yycrank+-2424,    yysvec+3,    yyvstop+200,
  1661. yycrank+-2464,    yysvec+3,    yyvstop+202,
  1662. yycrank+-2490,    yysvec+3,    yyvstop+204,
  1663. yycrank+-2526,    yysvec+3,    yyvstop+207,
  1664. yycrank+-2561,    yysvec+3,    yyvstop+209,
  1665. yycrank+-2596,    yysvec+3,    yyvstop+211,
  1666. yycrank+-2631,    yysvec+3,    yyvstop+213,
  1667. yycrank+-2666,    yysvec+3,    yyvstop+215,
  1668. yycrank+-2701,    yysvec+3,    yyvstop+217,
  1669. yycrank+-2756,    yysvec+3,    yyvstop+219,
  1670. yycrank+-2767,    yysvec+3,    yyvstop+222,
  1671. yycrank+-2822,    yysvec+3,    yyvstop+224,
  1672. yycrank+-2833,    yysvec+3,    yyvstop+227,
  1673. yycrank+-2888,    yysvec+3,    yyvstop+229,
  1674. yycrank+-2899,    yysvec+3,    yyvstop+231,
  1675. yycrank+-2954,    yysvec+3,    yyvstop+233,
  1676. yycrank+-2965,    yysvec+3,    yyvstop+235,
  1677. yycrank+-3022,    yysvec+3,    yyvstop+237,
  1678. yycrank+-3062,    yysvec+3,    yyvstop+239,
  1679. yycrank+-3088,    yysvec+3,    yyvstop+241,
  1680. yycrank+-3124,    yysvec+3,    yyvstop+244,
  1681. yycrank+-3159,    yysvec+3,    yyvstop+247,
  1682. yycrank+-3194,    yysvec+3,    yyvstop+250,
  1683. yycrank+-3229,    yysvec+3,    yyvstop+252,
  1684. yycrank+-3264,    yysvec+3,    yyvstop+254,
  1685. yycrank+-3299,    yysvec+3,    yyvstop+256,
  1686. yycrank+-3334,    yysvec+3,    yyvstop+259,
  1687. yycrank+-3369,    yysvec+3,    yyvstop+261,
  1688. yycrank+-3405,    yysvec+3,    yyvstop+263,
  1689. yycrank+-3440,    yysvec+3,    yyvstop+265,
  1690. yycrank+-3475,    yysvec+3,    yyvstop+267,
  1691. yycrank+-3511,    yysvec+3,    yyvstop+269,
  1692. yycrank+-3547,    yysvec+3,    yyvstop+271,
  1693. yycrank+-3573,    yysvec+3,    yyvstop+273,
  1694. yycrank+-3609,    yysvec+3,    yyvstop+276,
  1695. yycrank+-3644,    yysvec+3,    yyvstop+279,
  1696. yycrank+-3679,    yysvec+3,    yyvstop+281,
  1697. yycrank+-3714,    yysvec+3,    yyvstop+283,
  1698. yycrank+-3749,    yysvec+3,    yyvstop+286,
  1699. yycrank+-3784,    yysvec+3,    yyvstop+288,
  1700. yycrank+-3819,    yysvec+3,    yyvstop+290,
  1701. yycrank+-3854,    yysvec+3,    yyvstop+292,
  1702. 0,    0,    0};
  1703. struct yywork *yytop = yycrank+3979;
  1704. struct yysvf *yybgin = yysvec+1;
  1705. char yymatch[] ={
  1706. 00  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1707. 01  ,011 ,012 ,01  ,01  ,011 ,01  ,01  ,
  1708. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1709. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1710. 011 ,01  ,01  ,01  ,01  ,011 ,01  ,01  ,
  1711. 011 ,011 ,01  ,01  ,01  ,01  ,01  ,011 ,
  1712. '0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,
  1713. '0' ,'0' ,01  ,01  ,011 ,01  ,011 ,01  ,
  1714. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1715. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1716. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1717. 01  ,01  ,01  ,011 ,01  ,011 ,01  ,01  ,
  1718. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1719. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1720. 01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
  1721. 01  ,01  ,01  ,011 ,01  ,011 ,01  ,01  ,
  1722. 0};
  1723. char yyextra[] ={
  1724. 0,0,0,0,0,0,0,0,
  1725. 0,0,0,0,0,0,0,0,
  1726. 0,0,0,0,0,0,0,0,
  1727. 0,0,0,0,0,0,0,0,
  1728. 0,0,0,0,0,0,0,0,
  1729. 0,0,0,0,0,0,0,0,
  1730. 0};
  1731. /*    ncform    4.1    83/08/11    */
  1732.  
  1733. int yylineno =1;
  1734. # define YYU(x) x
  1735. # define NLSTATE yyprevious=YYNEWLINE
  1736. char yytext[YYLMAX];
  1737. struct yysvf *yylstate [YYLMAX], **yylsp, **yyolsp;
  1738. char yysbuf[YYLMAX];
  1739. char *yysptr = yysbuf;
  1740. int *yyfnd;
  1741. extern struct yysvf *yyestate;
  1742. int yyprevious = YYNEWLINE;
  1743. yylook(){
  1744.     register struct yysvf *yystate, **lsp;
  1745.     register struct yywork *yyt;
  1746.     struct yysvf *yyz;
  1747.     int yych;
  1748.     struct yywork *yyr;
  1749. # ifdef LEXDEBUG
  1750.     int debug;
  1751. # endif
  1752.     char *yylastch;
  1753.     /* start off machines */
  1754. # ifdef LEXDEBUG
  1755.     debug = 0;
  1756. # endif
  1757.     if (!yymorfg)
  1758.         yylastch = yytext;
  1759.     else {
  1760.         yymorfg=0;
  1761.         yylastch = yytext+yyleng;
  1762.         }
  1763.     for(;;){
  1764.         lsp = yylstate;
  1765.         yyestate = yystate = yybgin;
  1766.         if (yyprevious==YYNEWLINE) yystate++;
  1767.         for (;;){
  1768. # ifdef LEXDEBUG
  1769.             if(debug)fprintf(yyout,"state %d\n",yystate-yysvec-1);
  1770. # endif
  1771.             yyt = yystate->yystoff;
  1772.             if(yyt == yycrank){        /* may not be any transitions */
  1773.                 yyz = yystate->yyother;
  1774.                 if(yyz == 0)break;
  1775.                 if(yyz->yystoff == yycrank)break;
  1776.                 }
  1777.             *yylastch++ = yych = input();
  1778.         tryagain:
  1779. # ifdef LEXDEBUG
  1780.             if(debug){
  1781.                 fprintf(yyout,"char ");
  1782.                 allprint(yych);
  1783.                 putchar('\n');
  1784.                 }
  1785. # endif
  1786.             yyr = yyt;
  1787.             if ( (int)yyt > (int)yycrank){
  1788.                 yyt = yyr + yych;
  1789.                 if (yyt <= yytop && yyt->verify+yysvec == yystate){
  1790.                     if(yyt->advance+yysvec == YYLERR)    /* error transitions */
  1791.                         {unput(*--yylastch);break;}
  1792.                     *lsp++ = yystate = yyt->advance+yysvec;
  1793.                     goto contin;
  1794.                     }
  1795.                 }
  1796. # ifdef YYOPTIM
  1797.             else if((int)yyt < (int)yycrank) {        /* r < yycrank */
  1798.                 yyt = yyr = yycrank+(yycrank-yyt);
  1799. # ifdef LEXDEBUG
  1800.                 if(debug)fprintf(yyout,"compressed state\n");
  1801. # endif
  1802.                 yyt = yyt + yych;
  1803.                 if(yyt <= yytop && yyt->verify+yysvec == yystate){
  1804.                     if(yyt->advance+yysvec == YYLERR)    /* error transitions */
  1805.                         {unput(*--yylastch);break;}
  1806.                     *lsp++ = yystate = yyt->advance+yysvec;
  1807.                     goto contin;
  1808.                     }
  1809.                 yyt = yyr + YYU(yymatch[yych]);
  1810. # ifdef LEXDEBUG
  1811.                 if(debug){
  1812.                     fprintf(yyout,"try fall back character ");
  1813.                     allprint(YYU(yymatch[yych]));
  1814.                     putchar('\n');
  1815.                     }
  1816. # endif
  1817.                 if(yyt <= yytop && yyt->verify+yysvec == yystate){
  1818.                     if(yyt->advance+yysvec == YYLERR)    /* error transition */
  1819.                         {unput(*--yylastch);break;}
  1820.                     *lsp++ = yystate = yyt->advance+yysvec;
  1821.                     goto contin;
  1822.                     }
  1823.                 }
  1824.             if ((yystate = yystate->yyother) && (yyt= yystate->yystoff) != yycrank){
  1825. # ifdef LEXDEBUG
  1826.                 if(debug)fprintf(yyout,"fall back to state %d\n",yystate-yysvec-1);
  1827. # endif
  1828.                 goto tryagain;
  1829.                 }
  1830. # endif
  1831.             else
  1832.                 {unput(*--yylastch);break;}
  1833.         contin:
  1834. # ifdef LEXDEBUG
  1835.             if(debug){
  1836.                 fprintf(yyout,"state %d char ",yystate-yysvec-1);
  1837.                 allprint(yych);
  1838.                 putchar('\n');
  1839.                 }
  1840. # endif
  1841.             ;
  1842.             }
  1843. # ifdef LEXDEBUG
  1844.         if(debug){
  1845.             fprintf(yyout,"stopped at %d with ",*(lsp-1)-yysvec-1);
  1846.             allprint(yych);
  1847.             putchar('\n');
  1848.             }
  1849. # endif
  1850.         while (lsp-- > yylstate){
  1851.             *yylastch-- = 0;
  1852.             if (*lsp != 0 && (yyfnd= (*lsp)->yystops) && *yyfnd > 0){
  1853.                 yyolsp = lsp;
  1854.                 if(yyextra[*yyfnd]){        /* must backup */
  1855.                     while(yyback((*lsp)->yystops,-*yyfnd) != 1 && lsp > yylstate){
  1856.                         lsp--;
  1857.                         unput(*yylastch--);
  1858.                         }
  1859.                     }
  1860.                 yyprevious = YYU(*yylastch);
  1861.                 yylsp = lsp;
  1862.                 yyleng = yylastch-yytext+1;
  1863.                 yytext[yyleng] = 0;
  1864. # ifdef LEXDEBUG
  1865.                 if(debug){
  1866.                     fprintf(yyout,"\nmatch ");
  1867.                     sprint(yytext);
  1868.                     fprintf(yyout," action %d\n",*yyfnd);
  1869.                     }
  1870. # endif
  1871.                 return(*yyfnd++);
  1872.                 }
  1873.             unput(*yylastch);
  1874.             }
  1875.         if (yytext[0] == 0  /* && feof(yyin) */)
  1876.             {
  1877.             yysptr=yysbuf;
  1878.             return(0);
  1879.             }
  1880.         yyprevious = yytext[0] = input();
  1881.         if (yyprevious>0)
  1882.             output(yyprevious);
  1883.         yylastch=yytext;
  1884. # ifdef LEXDEBUG
  1885.         if(debug)putchar('\n');
  1886. # endif
  1887.         }
  1888.     }
  1889. yyback(p, m)
  1890.     int *p;
  1891. {
  1892. if (p==0) return(0);
  1893. while (*p)
  1894.     {
  1895.     if (*p++ == m)
  1896.         return(1);
  1897.     }
  1898. return(0);
  1899. }
  1900.     /* the following are only used in the lex library */
  1901. yyinput(){
  1902.     return(input());
  1903.     }
  1904. yyoutput(c)
  1905.   int c; {
  1906.     output(c);
  1907.     }
  1908. yyunput(c)
  1909.    int c; {
  1910.     unput(c);
  1911.     }
  1912.